[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 97 83 118 0 332 0 150 92

N.S.

1 1.13 0.97 1.37 0.00 3.86 0.00 1.74 1.07

time (sec)

N/A 0.443 0.296 0.364 0.000 0.299 0.000 0.319 13.578

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 134 138 151 0 484 0 179 2886

N.S.

1 1.23 1.27 1.39 0.00 4.44 0.00 1.64 26.48

time (sec)

N/A 0.626 0.376 0.382 0.000 0.308 0.000 0.287 19.115

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 166 172 184 0 565 0 837 3169

N.S.

1 1.14 1.18 1.26 0.00 3.87 0.00 5.73 21.71

time (sec)

N/A 0.935 0.826 0.750 0.000 0.309 0.000 0.372 19.389

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 219 144 224 0 660 0 264 3738

N.S.

1 1.05 0.69 1.08 0.00 3.17 0.00 1.27 17.97

time (sec)

N/A 1.408 0.808 0.858 0.000 0.320 0.000 0.318 20.517

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 268 176 263 0 757 0 335 3839

N.S.

1 1.03 0.67 1.01 0.00 2.90 0.00 1.28 14.71

time (sec)

N/A 1.917 1.055 1.059 0.000 0.340 0.000 0.317 20.718

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 267 205 296 0 1354 0 383 5332

N.S.

1 1.16 0.89 1.29 0.00 5.89 0.00 1.67 23.18

time (sec)

N/A 1.676 3.581 1.150 0.000 0.849 0.000 0.376 21.878

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 233 194 255 0 1153 0 347 5078

N.S.

1 1.24 1.03 1.36 0.00 6.13 0.00 1.85 27.01

time (sec)

N/A 1.218 1.100 0.917 0.000 0.844 0.000 0.363 22.431

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 175 113 184 0 594 0 253 204

N.S.

1 1.17 0.76 1.23 0.00 3.99 0.00 1.70 1.37

time (sec)

N/A 0.739 0.349 0.506 0.000 0.320 0.000 0.389 16.036

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 159 115 195 0 565 0 277 210

N.S.

1 1.19 0.86 1.46 0.00 4.22 0.00 2.07 1.57

time (sec)

N/A 0.691 0.388 0.559 0.000 0.311 0.000 0.358 16.038

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 159 115 186 0 595 0 254 204

N.S.

1 1.20 0.86 1.40 0.00 4.47 0.00 1.91 1.53

time (sec)

N/A 0.681 0.588 0.513 0.000 0.320 0.000 0.372 16.170

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 217 205 237 0 919 0 322 5090

N.S.

1 1.25 1.18 1.37 0.00 5.31 0.00 1.86 29.42

time (sec)

N/A 0.999 0.779 0.603 0.000 0.311 0.000 0.289 22.444

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 259 229 270 0 1037 0 357 5338

N.S.

1 1.16 1.03 1.21 0.00 4.65 0.00 1.60 23.94

time (sec)

N/A 1.531 1.011 1.109 0.000 0.320 0.000 0.367 21.740

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 321 199 310 0 1158 0 1723 5950

N.S.

1 1.08 0.67 1.05 0.00 3.91 0.00 5.82 20.10

time (sec)

N/A 2.166 1.842 1.196 0.000 0.372 0.000 0.541 22.678

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 373 416 425 0 2058 0 592 7476

N.S.

1 1.18 1.32 1.34 0.00 6.51 0.00 1.87 23.66

time (sec)

N/A 2.471 6.651 1.301 0.000 1.713 0.000 0.386 23.545

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 314 250 383 0 1822 0 559 7222

N.S.

1 1.21 0.97 1.48 0.00 7.03 0.00 2.16 27.88

time (sec)

N/A 1.832 3.988 1.501 0.000 1.842 0.000 0.393 27.131

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 267 158 285 0 903 0 403 378

N.S.

1 1.20 0.71 1.28 0.00 4.07 0.00 1.82 1.70

time (sec)

N/A 1.183 0.743 0.939 0.000 0.314 0.000 0.357 17.886

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 245 165 294 0 902 0 431 380

N.S.

1 1.19 0.80 1.43 0.00 4.38 0.00 2.09 1.84

time (sec)

N/A 1.064 0.946 0.795 0.000 0.323 0.000 0.362 18.016

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 233 164 297 0 901 0 431 382

N.S.

1 1.21 0.85 1.55 0.00 4.69 0.00 2.24 1.99

time (sec)

N/A 1.010 1.124 0.835 0.000 0.353 0.000 0.362 17.910

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 226 163 284 0 905 0 403 378

N.S.

1 1.23 0.89 1.54 0.00 4.92 0.00 2.19 2.05

time (sec)

N/A 1.004 1.209 0.700 0.000 0.327 0.000 0.355 17.862

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 306 268 365 0 1456 0 532 7234

N.S.

1 1.26 1.11 1.51 0.00 6.02 0.00 2.20 29.89

time (sec)

N/A 1.474 1.375 0.634 0.000 0.366 0.000 0.312 26.999

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 355 293 399 0 1603 0 564 7534

N.S.

1 1.19 0.98 1.33 0.00 5.36 0.00 1.89 25.20

time (sec)

N/A 2.244 1.694 1.478 0.000 0.386 0.000 0.386 24.100

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

387 431 263 439 0 1767 0 615 8133

N.S.

1 1.11 0.68 1.13 0.00 4.57 0.00 1.59 21.02

time (sec)

N/A 3.002 5.736 2.143 0.000 0.447 0.000 0.373 23.026

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 41 30 32 47 33 0 30 21

N.S.

1 1.32 0.97 1.03 1.52 1.06 0.00 0.97 0.68

time (sec)

N/A 0.238 0.123 0.393 0.278 0.263 0.000 0.274 13.706

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 71 73 58 88 73 0 59 52

N.S.

1 1.27 1.30 1.04 1.57 1.30 0.00 1.05 0.93

time (sec)

N/A 0.453 0.266 0.421 0.284 0.278 0.000 0.283 14.246

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 101 108 74 131 116 0 75 79

N.S.

1 1.25 1.33 0.91 1.62 1.43 0.00 0.93 0.98

time (sec)

N/A 0.603 0.414 0.401 0.277 0.263 0.000 0.307 14.549

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 131 141 87 171 159 0 88 105

N.S.

1 1.24 1.33 0.82 1.61 1.50 0.00 0.83 0.99

time (sec)

N/A 0.789 0.608 0.554 0.289 0.287 0.000 0.310 14.432

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 28 69 39 70 52 0 43 21

N.S.

1 0.40 0.99 0.56 1.00 0.74 0.00 0.61 0.30

time (sec)

N/A 0.242 0.113 0.314 0.280 0.259 0.000 0.304 14.219

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 58 162 76 111 102 0 69 52

N.S.

1 0.61 1.71 0.80 1.17 1.07 0.00 0.73 0.55

time (sec)

N/A 0.454 0.270 0.393 0.271 0.271 0.000 0.291 14.309

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 88 241 106 155 155 0 85 78

N.S.

1 0.73 2.01 0.88 1.29 1.29 0.00 0.71 0.65

time (sec)

N/A 0.624 0.371 0.410 0.284 0.275 0.000 0.313 14.388

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 118 344 132 194 208 0 98 105

N.S.

1 0.81 2.37 0.91 1.34 1.43 0.00 0.68 0.72

time (sec)

N/A 0.795 0.635 0.489 0.289 0.284 0.000 0.302 14.466

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

292 298 366 1982 0 0 0 0 0

N.S.

1 1.02 1.25 6.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.077 27.515 11.203 0.000 0.000 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 242 293 1127 0 0 0 0 0

N.S.

1 1.00 1.22 4.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.779 15.791 9.643 0.000 0.000 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 208 1063 0 0 0 0 0

N.S.

1 1.00 1.00 5.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.560 8.441 8.453 0.000 0.000 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 151 182 0 0 0 0 0

N.S.

1 1.00 1.21 1.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.247 1.894 6.027 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

330 337 373 1077 0 0 0 0 0

N.S.

1 1.02 1.13 3.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.183 10.169 3.801 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

396 394 897 1674 0 0 0 0 0

N.S.

1 0.99 2.27 4.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.539 17.509 4.853 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

405 421 550 3239 0 0 0 0 0

N.S.

1 1.04 1.36 8.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.778 14.074 16.936 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

342 350 471 2343 0 0 0 0 0

N.S.

1 1.02 1.38 6.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.347 11.789 15.595 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

282 288 408 1976 0 0 0 0 0

N.S.

1 1.02 1.45 7.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.023 11.238 12.057 0.000 0.000 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 250 304 1383 0 0 0 0 0

N.S.

1 1.00 1.22 5.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.795 7.495 11.094 0.000 0.000 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 309 684 1605 0 0 0 0 0

N.S.

1 1.00 2.21 5.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.951 16.623 8.511 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 341 332 1352 0 0 0 0 0

N.S.

1 1.02 0.99 4.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.190 8.669 8.379 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

390 394 891 1929 0 0 0 0 0

N.S.

1 1.01 2.28 4.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.644 17.207 4.764 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

463 481 615 3643 0 0 0 0 0

N.S.

1 1.04 1.33 7.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.162 14.128 166.318 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

399 409 552 3239 0 0 0 0 0

N.S.

1 1.03 1.38 8.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.705 13.334 65.476 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

333 344 474 2343 0 0 0 0 0

N.S.

1 1.03 1.42 7.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.347 11.877 23.996 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

296 302 440 2237 0 0 0 0 0

N.S.

1 1.02 1.49 7.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.083 13.453 14.612 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 353 421 1922 0 0 0 0 0

N.S.

1 1.00 1.20 5.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.218 10.929 11.477 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 360 454 2178 0 0 0 0 0

N.S.

1 1.02 1.29 6.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.296 17.106 17.648 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

399 408 463 2212 0 0 0 0 0

N.S.

1 1.02 1.16 5.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.678 13.986 42.594 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

460 477 1018 2545 0 0 0 0 0

N.S.

1 1.04 2.21 5.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.271 15.258 142.082 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

530 547 1274 3192 0 0 0 0 0

N.S.

1 1.03 2.40 6.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.876 14.485 410.773 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

403 409 873 2777 0 0 0 0 0

N.S.

1 1.01 2.17 6.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.572 13.629 13.713 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

359 379 463 2343 0 0 0 0 0

N.S.

1 1.06 1.29 6.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.508 12.021 17.160 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 313 365 1983 0 0 0 0 0

N.S.

1 1.04 1.21 6.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.075 10.046 13.359 0.000 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

244 248 341 1128 0 0 0 0 0

N.S.

1 1.02 1.40 4.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.760 11.510 12.048 0.000 0.000 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 238 815 0 0 0 0 0

N.S.

1 1.00 1.17 4.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.566 13.357 8.614 0.000 0.000 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 93 114 0 0 0 0 0

N.S.

1 1.00 0.94 1.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.258 1.948 7.241 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 138 147 0 0 0 0 0

N.S.

1 1.00 1.30 1.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.231 2.109 4.917 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

338 346 239 829 0 0 0 0 0

N.S.

1 1.02 0.71 2.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.119 5.886 7.385 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

401 403 682 1675 0 0 0 0 0

N.S.

1 1.00 1.70 4.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.607 12.734 7.235 0.000 0.000 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

399 411 455 3171 0 0 0 0 0

N.S.

1 1.03 1.14 7.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.748 11.779 15.945 0.000 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

325 345 470 2286 0 0 0 0 0

N.S.

1 1.06 1.45 7.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.248 11.666 12.332 0.000 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 283 440 1940 0 0 0 0 0

N.S.

1 1.10 1.71 7.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.868 13.679 11.222 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 261 249 1106 0 0 0 0 0

N.S.

1 1.10 1.05 4.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.802 7.975 7.382 0.000 0.000 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 259 244 1082 0 0 0 0 0

N.S.

1 1.10 1.03 4.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.744 7.375 3.961 0.000 0.000 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

347 376 972 1799 0 0 0 0 0

N.S.

1 1.08 2.80 5.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.286 16.924 6.357 0.000 0.000 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

396 436 1069 2220 0 0 0 0 0

N.S.

1 1.10 2.70 5.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.659 13.573 8.414 0.000 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

470 504 1330 3126 0 0 0 0 0

N.S.

1 1.07 2.83 6.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.136 12.987 8.338 0.000 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

427 447 578 5026 0 0 0 0 0

N.S.

1 1.05 1.35 11.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.908 13.947 14.615 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

362 388 556 4450 0 0 0 0 0

N.S.

1 1.07 1.54 12.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.310 14.473 11.237 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

337 356 503 3303 0 0 0 0 0

N.S.

1 1.06 1.49 9.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.213 11.581 9.448 0.000 0.000 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

317 336 486 3001 0 0 0 0 0

N.S.

1 1.06 1.53 9.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.150 11.177 4.993 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 323 360 2259 0 0 0 0 0

N.S.

1 1.06 1.18 7.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.097 5.968 6.041 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

448 478 1382 4914 0 0 0 0 0

N.S.

1 1.07 3.08 10.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.826 12.614 7.322 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

510 548 1481 5835 0 0 0 0 0

N.S.

1 1.07 2.90 11.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.269 14.824 9.703 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

562 604 1730 7167 0 0 0 0 0

N.S.

1 1.07 3.08 12.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.841 13.842 9.613 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

535 584 1790 9415 0 0 0 0 0

N.S.

1 1.09 3.35 17.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.443 13.381 8.581 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 153 97 502 0 188 0 0 0

N.S.

1 1.01 0.64 3.32 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.629 0.405 27.290 0.000 0.103 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 125 85 396 0 167 0 0 0

N.S.

1 1.02 0.69 3.22 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.513 0.296 18.205 0.000 0.100 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 98 71 150 0 124 0 0 0

N.S.

1 1.01 0.73 1.55 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.466 0.202 11.886 0.000 0.096 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 52 152 0 107 0 0 0

N.S.

1 1.00 0.69 2.03 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.372 0.232 10.082 0.000 0.089 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 102 76 228 0 125 0 0 0

N.S.

1 1.01 0.75 2.26 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.465 0.252 12.687 0.000 0.096 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 129 88 262 0 145 0 0 0

N.S.

1 1.02 0.69 2.06 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.508 0.372 16.449 0.000 0.099 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 157 99 290 0 156 0 0 0

N.S.

1 1.04 0.66 1.92 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.632 0.556 18.146 0.000 0.106 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 194 139 689 0 235 0 0 0

N.S.

1 0.97 0.70 3.44 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 1.055 0.920 79.159 0.000 0.108 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 166 126 633 0 223 0 0 0

N.S.

1 0.95 0.72 3.62 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.892 1.184 33.473 0.000 0.113 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 136 93 513 0 190 0 0 0

N.S.

1 1.01 0.69 3.80 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.765 0.508 22.765 0.000 0.101 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 82 202 0 146 0 0 0

N.S.

1 1.00 0.76 1.87 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.615 0.753 16.613 0.000 0.106 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 87 283 0 147 0 0 0

N.S.

1 1.00 0.78 2.53 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.615 0.609 18.549 0.000 0.096 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 142 100 357 0 170 0 0 0

N.S.

1 1.01 0.71 2.53 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.768 0.845 19.534 0.000 0.108 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 170 120 362 0 191 0 0 0

N.S.

1 0.97 0.69 2.07 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.892 1.103 25.866 0.000 0.111 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 218 177 820 0 270 0 0 0

N.S.

1 0.93 0.76 3.50 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 1.306 2.912 45.495 0.000 0.114 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 181 134 711 0 244 0 0 0

N.S.

1 0.96 0.71 3.76 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 1.111 1.677 37.534 0.000 0.104 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 159 106 630 0 214 0 0 0

N.S.

1 1.01 0.67 3.99 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.962 1.035 25.322 0.000 0.109 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 167 108 303 0 182 0 0 0

N.S.

1 1.01 0.65 1.83 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.953 0.938 24.090 0.000 0.117 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 157 106 412 0 193 0 0 0

N.S.

1 1.01 0.68 2.64 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.960 0.852 22.568 0.000 0.103 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 194 132 421 0 216 0 0 0

N.S.

1 0.97 0.66 2.12 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 1.140 1.267 28.975 0.000 0.113 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 222 159 470 0 238 0 0 0

N.S.

1 0.95 0.68 2.01 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 1.345 1.480 38.278 0.000 0.122 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 269 256 1147 0 318 0 0 0

N.S.

1 0.94 0.89 4.00 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 1.700 2.613 64.916 0.000 0.124 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]